reachable set

Reachability analysis and computation of reachable set consist of the foundation of formal verification of hybrid systems.

可达性分析和可达集的计算是混合系统形式化验证的基础。

互联网摘选

It is demonstrated that how multi-parametric programming can be used to simultaneously obtain robust one step reachable set and the associated PWA feedback controller.

利用多参数规划计算系统的鲁棒一步集，同时得到系统的鲁棒一步可达集和相关的控制器。

互联网摘选

Normally a server is not reachable from the Web at large without a static IP address, but a dynamic DNS service allows me to set up a temporary resolvable machine name under another top-level domain.

通常，如果一个服务器没有静态IP地址，那么来自Web上的访问流量就不可能太大，动态DNS让我们可以在另外一个顶级域名之上临时建立一个可解析的机器名。

互联网摘选

Level set methods are used for representing reachable sets and tracking the evolution of the boundary of a reachable set.

水平集方法被用于表示可达集和追踪可达集边界的演化。

互联网摘选

An Approach to Deriving Distinguishing Sequence of Observable States in Reachable Set in Non deterministic System

非确定系统中可观察状态集的识别序列的一种推导方法

互联网摘选

According to width-first-searching, the generation of partial reachable integer set is sorted by the sequence in diagonal order of reachable vectors, then sorted by reachable integers' value, 2k permutations is produced.

按照广度优先搜索依次求出的可达整数，可达整数对应的可达向量之间是符合对角线序的，然后，按照可达整数的大小排序就得到一组2~k元置换。

互联网摘选

We present a quick method to mine the frequent path and the reachable set and probability of web pages browsed by users based on the suffix tree;

给出了基于后缀树用户浏览频繁路径、页面可达集和可达概率的快速计算方法；

互联网摘选

The invariance of approximate reachable set for distributed parameter control system under nonlinear perturbation

分布参数控制系统逼近能达集对非线性扰动的不变性

互联网摘选

In this paper, the reachable set of the general model for 2-D linear systems with constraint of control energy is studied.

研究了2-D系统一般模型控制输入能量受限下的能达集问题。

互联网摘选

Two examples are given to illustrate the theoretical results. ( 2) The problem of reachable set estimation for uncertain systems subject to both state time delay and control input delay is also studied.

研究了同时具有状态时滞和控制输入时滞的不确定系统的可达集界定的问题。

互联网摘选

In addition, the concepts of reachable set and state-space ellipsoid are introduced to capture the time-domain constraints.

另外，为了处理约束，引入了可达集和状态空间椭球域的概念。

互联网摘选

In a nutshell, this means that the collector first walks through the set of reachable objects, marking them as live data.

简言之，这意味着收集器首先逐一访问可访问的对象，将它们标记为实时数据。

互联网摘选

The partial reachable integer set is generated for 2k permutations by different extent of block and used for encryption and decryption.

根据不同的分组长度k构造满足2~k元置换的部分可达整数集，用以进行加解密变换。

互联网摘选

At last, it is proved that when the control domain U is a bounded, closed set, the reachable set is the same as that when the control domain is the convex of U.It is an advancement for original results.

最后证明了当控制区域U是有界闭集时，系统的等时区域与控制区域是U的凸包时的等时区域相同，推广了有限维的结论。

互联网摘选

The Reachable Set of System with Nonlinear Control

具非线性控制变量系统的等时区域

互联网摘选

This paper deals with the problem of reachable set estimation for time-delay control systems subject to bounded peak disturbances.

本文主要研究了具有范数有界扰动的时滞控制系统的可达集界定问题。

互联网摘选